function sat() { return; }